Project Abstract: Logic Atlas and Integrator (LATIN)
نویسندگان
چکیده
Development Techniques, Lecture Notes in Computer Science. Springer, 2011. To appear.2. J. Gičeva, C. Lange, and F. Rabe. Integrating Web Services into Active Mathematical Documents. In J. Carette and L. Dixon and C. Sacerdoti Coen and S.Watt, editor, Intelligent Computer Mathematics, volume 5625 of Lecture Notes inComputer Science, pages 279–293. Springer, 2009.3. J. Goguen and R. Burstall. Institutions: Abstract model theory for specificationand programming. Journal of the Association for Computing Machinery, 39(1):95–146, 1992.4. F. Horozal and F. Rabe. Representing Model Theory in a Type-Theoretical LogicalFramework. Theoretical Computer Science, 2011. To appear, see http://kwarc.info/frabe/Research/HR_folsound_10.pdf.5. M. Iancu and F. Rabe. Formalizing Foundations of Mathematics. MathematicalStructures in Computer Science, 2011. To appear, see http://kwarc.info/frabe/Research/IR_foundations_10.pdf.6. M. Kohlhase, F. Rabe, and V. Zholudev. Towards MKM in the Large: ModularRepresentation and Scalable Software Architecture. In S. Autexier, J. Calmet,D. Delahaye, P. Ion, L. Rideau, R. Rioboo, and A. Sexton, editors, IntelligentComputer Mathematics, volume 6167 of Lecture Notes in Computer Science, pages370–384. Springer, 2010.7. T. Mossakowski, C. Maeder, and K. Lüttich. The Heterogeneous Tool Set. In O.Grumberg and M. Huth, editor, TACAS 2007, volume 4424 of Lecture Notes inComputer Science, pages 519–522, 2007.8. F. Pfenning and C. Schürmann. System description: Twelf a meta-logical frame-work for deductive systems. Lecture Notes in Computer Science, 1632:202–206,1999.9. F. Rabe. A Logical Framework Combining Model and Proof Theory. Submittedto Mathematical Structures in Computer Science, see http://kwarc.info/frabe/Research/rabe_combining_09.pdf, 2010.10. F. Rabe. Representing Isabelle in LF. In K. Crary and M. Miculan, editors, LogicalFrameworks and Meta-languages: Theory and Practice, volume 34 of EPTCS, pages 85–100, 2010.11. F. Rabe and M. Kohlhase. A Scalable Module System. Under review, see http://arxiv.org/abs/1105.0548, 2011.12. F. Rabe and C. Schürmann. A Practical Module System for LF. In J. Cheneyand A. Felty, editors, Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP), pages 40–48. ACM Press, 2009.13. V. Zholudev and M. Kohlhase. TNTBase: a Versioned Storage for XML. In Proceedings of Balisage: The Markup Conference 2009, volume 3 of Balisage Serieson Markup Technologies. Mulberry Technologies, Inc., 2009.
منابع مشابه
Developing a conceptual model based upon the Latin Hypercube Sampling for integrating OHS into project risk evaluation
Abstract Project management in construction industry, in many cases, is imperfect with respect to the integration of Occupational Health and Safety (OHS) risks. This imperfection exhibits itself as complications affecting the riskiness of industrial procedures and is illustrated usually by poor awareness of OHS within project teams. Difficulties on OHS regularly came about in the construction i...
متن کاملDesign of a Fuzzy Logic Sliding mode Model Following Controller for a Brushless DC Servomotor Drivers
Abstract: Problem statement: A brushless DC servomotor position control system using a fuzzy logic sliding mode model following controller or FLSMFC is presented. Approach: The FLSMFC structure consists of an integrator and variable structure system. Results: The integrator ensures the elimination of steady state error due to step and ramp command inputs, while the fuzzy control would maintain ...
متن کاملSafety Risks Impacts Analysis on Construction Project Objectives Using a Hybrid Model of Fuzzy Expert System and Latin Hyper Cube Sampling
Background and aims: The construction industry has a high rate of fatal or nonfatal injuries and all around the world which remains one of the most dangerous occupations till now. Since project safety and measuring danger in the construction industry is a crucial subject, so this study aimed to measure the impacts of safety risks on the time and cost objectives of project using a hybrid method ...
متن کاملUsing fuzzy FMEA and fuzzy logic in project risk management
Risk management is one of the most important phases of project management and isthe most recently used by many researchers. In this paper, a fuzzy based method wasproposed which identifies different kinds of risks through the project life cycle.Then, the project risk magnitude can be obtained in regards to five factors, namely“severity”, “occurrence”, and “not detection” which form fuzzy FMEA a...
متن کاملLocating of planting project using Analytic Hierarchy Process and Fuzzy logic (case study: Maravehtappe watershed, Golestan province)
Planting project is one of the methods for improvement of rangeland degradation that exact implementation depends on many factors. Therefore, there is a need for a fundamental method. In the present study for locating planting project, in Maravehtappe watershed, analytic hierarchical process and fuzzy logic are applied. In this study, four ecological criteria of vegetation, soil, physiography a...
متن کاملDiabetes Associated Genes from the Dark Matter of the Human Proteome
eQTL: expression Quantitative Trait Loci; GAD: Genetic Association Database; GtEx: Genotype-tissue Expression; HapMap: Haploid Map; HGNC: Human Genome Nomenclature Committee; HPRD: Human Protein Reference Database; HPA: Human Protein Atlas; MOPED: Model Organism Protein Expression Database; PheGenI: Phenotype-Genotype Integrator; ORF: Open Reading Frame; RefSeq: Reference Sequence; SNP: Single ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011